Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation

نویسندگان

  • Jamison Masse
  • Saehwa Kim
  • Seongsoo Hong
چکیده

This paper presents our tool set implementation for scenario-based multithreading of object-oriented real-time models and an accompanying experimental validation. Our tools enable the automated, schedulability-aware implementation of real-time object-oriented models, exploiting an existing CASE tool. Our implementation is facilitated by (1) our customized run-time system modified to support scenario-based thread execution, (2) a design model template that centralizes the arrival of external inputs, (3) a model analyzer tool, and (4) a model-specific code modifier tool. Our tools simplify design by removing thread-related design concerns from the modeling process, separating design and implementation. We performed validation by conducting experiments that clearly demonstrate the performance improvements that can be gained through our scenario-based implementation: response time improvements for high priority tasks of as much as 70% and a 5-fold decrease in blocking or the elimination of blocking for some tasks.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models

The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Designing and verifying the coordination between the components of such a system in order to ensure its overall correctness and safe operation are crucial and costly steps of the development process. In this paper, we extend our a...

متن کامل

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT

Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling concepts including optional actor references and multiple containment. However, these concepts are not covered in any of the current formal semantics of UML-RT, thus impeding the testing and formal analysis ...

متن کامل

Model-Based Verification and Validation of Properties

One of the key issues in software development, like in all engineering problems, is to ensure that the product delivered meets its specification. Verification and validation are well-established techniques for ensuring the quality of a product within the overall software development lifecycle. With models being expressed in the Unified Modeling Language, the application of verification and vali...

متن کامل

D2.2.2 Tool Set for System Verification Validation of Uml Models via a Mapping to Communicating Extended Timed Automata

We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata in the IF format and the use of the existing model-checking and simulation tools for this format. We take into account most of the structural and behavioral characteristics of classes and their interplay and tackle...

متن کامل

Validating RT-LOTOS Specifications using the TINA tool

The increasing development of highly concurrent and distributed systems captures scalability problems in terms of formal validation of models. In particular, reachability analysis tools commonly face a state explosion problem. Examples include the RTL tool developed by LAAS-CNRS for the formal description technique RT-LOTOS. By contrast, the TINA tool also developed by LAAS-CNRS for reachabilit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003